#include "pcb.h"
#include "sim.h"

/* scheduler returns program pointer of 
 * program to  run  or NULL for no change to 
 * currently running program.
 */
PCB* handleEvent1(Event e, PCB* p);

/* inits the scheduler */
void initSched1();

